Patent inconsistency

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Disciplined Inconsistency

Distributed applications and web services, such as online stores or social networks, are expected to be scalable, available, responsive, and fault-tolerant. To meet these steep requirements in the face of high round-trip latencies, network partitions, server failures, and load spikes, applications use eventually consistent datastores that allow them to weaken the consistency of some data. Howev...

متن کامل

Pollack-inconsistency

For interactive theorem provers a very desirable property is consistency : it should not be possible to prove false theorems. However, this is not enough: it also should not be possible to think that a theorem that actually is false has been proved. More precisely: the user should be able to know what it is that the interactive theorem prover is proving. To make these issues concrete we introdu...

متن کامل

Leaving Inconsistency

Two descriptions are inconsistent if there is no way to satisfy them altogether. Inconsistencies may arise under many circumstances in the software lifecycle. They are often inevitable, for instance, when the descriptions are produced or evolve independently from each other. Sometimes they may even be desirable, for instance, to allow further elicitation of requirements descriptions being acqui...

متن کامل

Circumscribing Inconsistency

We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: American Journal of Roentgenology

سال: 1985

ISSN: 0361-803X,1546-3141

DOI: 10.2214/ajr.145.4.859